home *** CD-ROM | disk | FTP | other *** search
/ Language/OS - Multiplatform Resource Library / LANGUAGE OS.iso / prolog / sbprolog / msdos / readme next >
Encoding:
Text File  |  1993-08-14  |  2.0 KB  |  55 lines
  1. A 386 MS-DOS port of the SB-Prolog system is available for anonymous
  2. ftp from src.doc.ic.ac.uk [146.169.3.7] (login anonymous, password
  3. your e-mail address) in the directory languages/sbprolog, filename
  4. sbpmsdos.zip.  It contains everything you need in order to run the
  5. Stony Brook Prolog System intepreter and compiler on a 386 machine
  6. running MS-DOS.  Here is the README file from the distribution:
  7.  
  8. This is a binary release of SB-Prolog System version 3.1 for 386 MS-DOS
  9. systems.  It was compiled using version 1.05 of the 386 MS-DOS GNU C
  10. compiler port by D. J. Delorie.  It supports up to 128M of extended
  11. memory and 128M of disk space for swapping.  It is compatible with XMS
  12. and VCPI programs (such as QEMM and 386MAX), but not DPMI (such as
  13. Windows 3.0).
  14.  
  15. In order to obey to the license agreement, this package should only be
  16. made available together with the full source code that is covered by
  17. it.  This means that you can make it available for anonymous ftp, only
  18. if your machine also makes the full source code of SB-Prolog
  19. available.  The source of SB-Prolog is available for anonymous ftp from
  20. cs.arizona.edu:sbprolog/v3.  See the file COPYING for more
  21. information.
  22.  
  23. In order to unpack the system correctly, the command:
  24.  
  25.     pkunzip -d sbpmsdos.zip
  26.  
  27. must be executed.  This will create the following files and directories:
  28.  
  29. README                This file
  30. sbp.bat                Batch file to run the SB-Prolog system
  31. sbprolog.doc            System documentation amended for MS-DOS
  32. sim.exe                Executable for the WAM simulator
  33. cmplib                \
  34. lib                 } System directories
  35. modlib                /
  36. CHANGES                Changes from version 3.0 to 3.1
  37. diffs                Patches for compiling the source under MS-DOS
  38.                 See Appendix 4 of the documentation for
  39.                 instructions.
  40. frexp.c                Additional file needed for compiling
  41. nrev.p                Naive reverse benchark
  42. nrev.doc            Documentation on nrev.p
  43. version                Port version
  44.  
  45.  
  46. enjoy !
  47.  
  48. Diomidis
  49. -- 
  50. Diomidis Spinellis                  Internet:                 dds@doc.ic.ac.uk
  51. Department of Computing             UUCP:                    ...!ukc!icdoc!dds
  52. Imperial College, London SW7        #include "/dev/tty"
  53.  
  54.  
  55.